Conditional Statements and Directives

نویسنده

  • David Makinson
چکیده

In the first part, we recall the pure and simple notion of the truth-functional (alias material) conditional proposition, and then how it can occur in combination with other elements, creating more complex kinds of conditional assertion. We discuss the subtle distinction between conditional probability and the probability of a conditional. Finally, we explain the notion of a counterfactual conditional and sketch its links with operations of updating and revising our beliefs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Refactoring C with Conditional Compilation

Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack of refactoring tools for C with full support for preprocessor directives because directives complicate refactorings in many ways. This paper describes refactoring of C programs in the presence of conditional compilati...

متن کامل

Translation of Conditional Compilation

This paper describes how to translate the compiler directives for conditional compilation in automated source-to-source translation between high-level programming languages. The directives for conditional compilation of the source language are translated into the corresponding directives of the target language, and the source program text of each branch of conditional compilation is translated ...

متن کامل

Translation of Conditional Compilat Translation of Conditional Compilation Translation of Conditional Compilation

This paper describes how to translate the compiler directives for conditional compilation in automated source-to-source translation between high-level programming languages. The directives for conditional compilation of the source language are translated into the corresponding directives of the target language, and the source program text of each branch of conditional compilation is translated ...

متن کامل

Static Nonconcurrency Analysis of OpenMP Programs

Writing correct and eÆcient parallel programs is more diÆcult than doing so for sequential programs. One of the challenges comes from the nature of concurrent execution of a parallel program by di erent threads. Determining exact concurrency is NP-hard[10], and is impossible for real-world programs at compile time. OpenMP provides an easy and incremental way to write parallel programs. The well...

متن کامل

Evaluation trees for proposition algebra

Proposition algebra is based on Hoare’s conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional statements are provided with a simple semantics that is based on evaluation trees and that characterizes so-called free valuation congruence: two conditional statements are free valuation congruent if, and only if, t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007